A Extending the cogen �
نویسنده
چکیده
The so called cogen approach to program specialisation writing a compiler generator instead of a specialiser has been used with considerable success in partial evaluation of both functional and imperative languages This paper demonstrates that this approach is also applicable to partial evaluation of logic programming languages also called partial deduction Self application has not been as much in focus in partial deduction as in partial evaluation of functional and imperative languages and the attempts to self apply partial deduction systems have of yet not been altogether that successful So especially for partial deduction the cogen approach could prove to have a considerable importance when it comes to practical applications It is demonstrated that using the cogen approach one gets very e cient compiler generators which generate very e cient generating extensions which in turn yield for some examples at least very good and non trivial specialisation
منابع مشابه
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
It is well known that self applicable partial evaluation can be used to generate compiler generators cogen mix mix mix where mix is the specializer partial eval uator However writing cogen by hand gives several ad vantages Contrasting to when writing a self applicable mix one is not restricted to write cogen in the same lan guage as it treats HL A handwritten cogen can be more e cient than a co...
متن کاملImproved Performance of Hydbrid Photovoltaic-trigeneration Systems Over Photovoltaic-cogen Systems Including Effects of Battery Storage
Recent work has proposed that hybridization of residential-scale cogeneration with roof-mounted solar photovoltaic (PV) arrays can increase the PV penetration level in ideal situations by a factor of five. In regions where there is a significant cooling load PV-cogen hybrid systems could be coupled to an absorption chiller to utilize waste heat from the cogen unit. In order to investigate reali...
متن کاملEfficient Specialisation in Prolog Using a Hand-Written Compiler Generator
The so called “cogen approach” to program specialisation, writing acompiler generator instead of a specialiser, has been used with consider-able success in partial evaluation of both functional and imperative lan-guages. This paper demonstrates that this approach is also applicableto partial evaluation of logic programming languages, also called partialdeduction. Self-applic...
متن کاملEecient Specialisation in Prolog Using a Hand-written Compiler Generator Eecient Specialisation in Prolog Using a Hand-written Compiler Generator
The so called \cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages. This paper demonstrates that this approach is also applicable to partial evaluation of logic programming languages, also called partial deduction. Self-application has not been ...
متن کامل